# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/krakatoa/krakatoa-0.66.ebuild,v 1.1.1.1 2006/11/22 16:05:34 zechs Exp $

inherit eutils

DESCRIPTION="Krakatoa - allows one to certify that a JML-annotated method of a Java program meets its specifications."
HOMEPAGE="http://krakatoa.lri.fr/"
SRC_URI="http://krakatoa.lri.fr/${P}.tar.gz"

LICENSE="GPL-2"
SLOT="0"
KEYWORDS="x86"

IUSE=""
DEPEND="
    >=dev-lang/ocaml-3.07
    >=dev-ml/lablgtk-2.6.0
    >=sci-mathematics/coq-7.0
    >=sci-mathematics/why-1.83
  "

src_unpack() {
	unpack ${A}
}

src_compile() {
	local myconf="--prefix /usr"

	./configure $myconf || die

	make || die
}

src_install() {
	local myconf="COQLIB=${D}usr/lib/coq \
		prefix=${D}usr"

	make $myconf install || die
}
